GitLab

Correct Input File Names for Benchmarks

See merge request IPDSnelting/mjtest-tests!57

To be recognized by mjtest, the input files need to be numbered.

Move benchmarks into big folder

See merge request !56

rename java files to input.java so that their input is read

provide output files for all tests

Add Speedcenter testcases.

See merge request !55

Add more tests to ensure correct FIRM construction

See merge request !54

two more exec test cases

See merge request !53

group6 exec test cases.

See merge request !49

Remove all .java.out files

See merge request !52

Remove incorrect echo output

See merge request !51

Also includes a few semantic tests which were not already merged into the shared repo.

Exec test cases of Rust Team

See merge request !50

Exec Test Cases (Group 2)

See merge request !47

Add exec testcases group 5

See merge request !44

Add exec tests from group 1

See merge request !43

Group 3 exec test cases

See merge request !46

Create more semantic testcases from the feedback

See merge request !42

adding checks for invalid and valid negative Integers

See merge request !41