Felix Brüning (dcedcccf) at 07 Feb 09:23
update
Felix Brüning (86407628) at 07 Feb 09:01
update to new libsfsmtest api
Felix Brüning (a41597f7) at 06 Dec 11:29
update for new libsfsmtest
Felix Brüning (de53ef6f) at 01 Dec 07:42
updated makefile to harness-builder
Felix Brüning (dcf7418b) at 24 Nov 08:38
added new harness
Felix Brüning (7ff734c0) at 20 Oct 17:14
fixes in calling oracle
Felix Brüning (e1fa3fcb) at 20 Oct 15:16
update
Felix Brüning (3a762e85) at 20 Oct 15:14
updates
Felix Brüning (3a762e85) at 20 Oct 15:14
updates
Felix Brüning (5cbb3c9d) at 20 Oct 14:02
Felix Brüning (5cbb3c9d) at 20 Oct 14:00
update
Felix Brüning (cbc69207) at 20 Oct 13:58
fixes
Felix Brüning (5cf9207f) at 20 Oct 11:38
fixes
Felix Brüning (05742775) at 13 Oct 16:11
better output, but erro sut created
Felix Brüning (37ffc624) at 11 Oct 17:05
Added tolerance when file has no ending
Felix Brüning (810021cd) at 10 Oct 07:11
removed submodules
Felix Brüning (b11dc79f) at 05 Oct 15:19
updated verdict output
Felix Brüning (c229b6c3) at 05 Oct 13:17
Merge branch 'main' of gitlab.informatik.uni-bremen.de:fbrning/sfsm...
... and 1 more commit