IPDSnelting issueshttps://git.scc.kit.edu/groups/IPDSnelting/-/issues2023-06-27T08:50:21+02:00https://git.scc.kit.edu/IPDSnelting/first_follow/-/issues/1Incorrect nonterminals/terminals in the testset.2023-06-27T08:50:21+02:00ubokiIncorrect nonterminals/terminals in the testset.Consider the G4 grammar here https://git.scc.kit.edu/IPDSnelting/first_follow/-/blob/master/first_follow_test.py#L64 and the G5 grammar here https://git.scc.kit.edu/IPDSnelting/first_follow/-/blob/master/first_follow_test.py#L75
The pro...Consider the G4 grammar here https://git.scc.kit.edu/IPDSnelting/first_follow/-/blob/master/first_follow_test.py#L64 and the G5 grammar here https://git.scc.kit.edu/IPDSnelting/first_follow/-/blob/master/first_follow_test.py#L75
The productions do not have a "y" terminal, but the list of terminals says they do.
Something similar can be observed with the G8 grammar here: https://git.scc.kit.edu/IPDSnelting/first_follow/-/blob/master/first_follow_test.py#L128
The productions don't have an F or T' nonterminal, but the list of nonterminals has them. Furthermore, the list of terminals contains a '*' terminal, but the productions never refers to such a terminal.https://git.scc.kit.edu/IPDSnelting/mjtest/-/issues/10Integrate CReduce directly2021-11-30T14:02:20+01:00johannes.bechbergerjohannes.bechberger@kit.eduIntegrate CReduce directlyIntegrate [CReduce](https://embed.cs.utah.edu/creduce/), so that we have a flag `--reduce` (with optional time out argument) that tells mjtest to reduce the failing test cases and output them.
The reduction takes some time, but would pr...Integrate [CReduce](https://embed.cs.utah.edu/creduce/), so that we have a flag `--reduce` (with optional time out argument) that tells mjtest to reduce the failing test cases and output them.
The reduction takes some time, but would probably reduce the bug finding effort.https://git.scc.kit.edu/IPDSnelting/codespeed-pse/-/issues/1Projekt lässt sich nicht klonen2020-01-18T11:30:41+01:00uxwluProjekt lässt sich nicht klonen## Problembeschreibung
Hey,
wir [Aaaaaaah] haben das Projekt als submodule in `pseubench` hinzugefügt. Dadurch lässt sich Pseubench aber leider nicht mehr klonen, da `codespeed-pse` `mjis` beinhaltet, welches https://github.com/MiniJava...## Problembeschreibung
Hey,
wir [Aaaaaaah] haben das Projekt als submodule in `pseubench` hinzugefügt. Dadurch lässt sich Pseubench aber leider nicht mehr klonen, da `codespeed-pse` `mjis` beinhaltet, welches https://github.com/MiniJavaInScala/mj-test einbettet. Das ist aber entweder privat oder schon gelöscht...
## Reproduktion
`git clone https://git.scc.kit.edu/IPDSnelting/codespeed-pse --recursive --recurse-submodules`
fragt nach github credentials (und stirbt ohne).
## Workaround
* Wir haben das Projekt einmal geforkt und manuell das submodule gelöscht (es wird ja nicht für die Daten gebraucht)
* Alternativ kann man auch nur die JSON files rüberkopieren, muss dann aber auch selbst Änderungen kopierenhttps://git.scc.kit.edu/IPDSnelting/mjtest/-/issues/8Generation of .java_output files spuriously fails2019-01-27T11:23:40+01:00rp1446Generation of .java_output files spuriously failsThere are very simple `.java` tests that nondeterministically either
- Fail to produce a non-empty `.out` reference file
```
class HitboxTest {
public static void main(String[] args) {
Position p = new Position();
...There are very simple `.java` tests that nondeterministically either
- Fail to produce a non-empty `.out` reference file
```
class HitboxTest {
public static void main(String[] args) {
Position p = new Position();
p.x = 100;
p.y = 50;
Hitbox b = new Hitbox();
b.x = 160;
b.y = 90;
b.w = 30;
b.h = 20;
while (!b.contains(p)) {
p.move(2, 1);
}
System.out.println(p.x);
System.out.println(p.y);
}
}
class Position {
public int x;
public int y;
public void move(int xstep, int ystep) {
x = x + xstep;
y = y + ystep;
}
}
class Hitbox {
public int x;
public int y;
public int w;
public int h;
public boolean contains(Position p) {
return p.x >= x && p.x <= x + w && p.y >= y && p.y <= y + h;
}
}
```
- Have strange `javac` compile errors:
```
[FAIL ] compile:transitive_object_chain.java invalid java code, but output file missing
Report for failing test case transitive_object_chain.java
Invalid java code, but output file missing
Error code: 1
Javac error message:
[0001] transitive_object_chain.java:8: error: non-static variable out cannot be referenced from a static context
[0002] System.out.println(a.ref.ref.n);
[0003] ^
[0004] transitive_object_chain.java:8: error: method println in class System cannot be applied to given types;
[0005] System.out.println(a.ref.ref.n);
[0006] ^
[0007] required: no arguments
[0008] found: int
[0009] reason: actual and formal argument lists differ in length
[0010] 2 errors
[0011]
Source file:
[0001] class transitive_object_chain {
[0002] public static void main(String[] args) {
[0003] A_2 a = new A_2();
[0004] A_2 b = new A_2();
[0005] a.ref = b;
[0006] b.ref = a;
[0007] a.n = 5;
[0008] System.out.println(a.ref.ref.n);
[0009] }
[0010] }
[0011]
[0012] class A_2 {
[0013] public A_2 ref;
[0014] public int n;
[0015] }
[0016]
```
You can (hopefully) reproduce this by doing a `git clean -fxd` in the `tests` repository, followed by re-running `mjtest`.
Johannes (@uqddy), maybe you suspect something?uqddyuqddyhttps://git.scc.kit.edu/IPDSnelting/pse-tipps/-/issues/3Erwartungsmanagement für Infrastruktur (Build-System, Versionsverwaltung, CI,...2018-10-01T14:33:53+02:00denis.lohnerErwartungsmanagement für Infrastruktur (Build-System, Versionsverwaltung, CI, etc.)Deutlicher herausarbeiten, dass auch die Einarbeitung in Buildsystem (maven, gradle, etc.), Versionsverwaltung, CI, etc. - die ganze Infrastruktur eben - zum PSE dazugehört und einen beträchtlichen Teil der Zeit in Anspruch nimmt.Deutlicher herausarbeiten, dass auch die Einarbeitung in Buildsystem (maven, gradle, etc.), Versionsverwaltung, CI, etc. - die ganze Infrastruktur eben - zum PSE dazugehört und einen beträchtlichen Teil der Zeit in Anspruch nimmt.https://git.scc.kit.edu/IPDSnelting/pse-tipps/-/issues/2Mehr Tools benennen2018-10-01T14:32:21+02:00denis.lohnerMehr Tools benennenIn den Kolloquiuen wurde mehrfach gefragt: "Habt ihr Tool XY ausprobiert?". Die Studis kannten bis dahin XY aber nicht.In den Kolloquiuen wurde mehrfach gefragt: "Habt ihr Tool XY ausprobiert?". Die Studis kannten bis dahin XY aber nicht.https://git.scc.kit.edu/IPDSnelting/pse-tipps/-/issues/1Beschreiben, was und was nicht in die Klassenbeschreibungen im Entwurfsdokume...2018-06-28T11:26:14+02:00xv3721Beschreiben, was und was nicht in die Klassenbeschreibungen im Entwurfsdokument gehörtDoclets für Klassenbeschreibungen schreiben unterschiedlich ausführlich die Javadocs ins Entwurfsdokument. Manche Sachen unnötig (z.B. All known Subclasses), manchmal fehlen Dinge (Superklasse).
Das PSE-Tipps-Dokument sollte beschreiben,...Doclets für Klassenbeschreibungen schreiben unterschiedlich ausführlich die Javadocs ins Entwurfsdokument. Manche Sachen unnötig (z.B. All known Subclasses), manchmal fehlen Dinge (Superklasse).
Das PSE-Tipps-Dokument sollte beschreiben, was wir drin haben wollen und was nicht.https://git.scc.kit.edu/IPDSnelting/studarbeit/-/issues/1Folien im 16:9-Format2018-06-22T11:07:40+02:00Elias AebiFolien im 16:9-FormatGibt es eine Möglichkeit, die Präsentations-Folien im 16:9-Format anstatt im 4:3-Format zu erstellen?Gibt es eine Möglichkeit, die Präsentations-Folien im 16:9-Format anstatt im 4:3-Format zu erstellen?