-
- Downloads
Added tests to ExtraTest. Some test cases which violate grammar do not work...
Added tests to ExtraTest. Some test cases which violate grammar do not work with non deadly errors, so they are deadly now. removed test cases for errors which are now deadly. TODO: improve antlr error reporting to not start semantic analysis if syntax analysis got errors.
Showing
- BewerterStrukturellerInduktion/Eingabeverwaltung/Parser/Listener_Helper.cs 1 addition, 1 deletion...llerInduktion/Eingabeverwaltung/Parser/Listener_Helper.cs
- BewerterStrukturellerInduktion/Eingabeverwaltung/Parser/Proof_Listener.cs 1 addition, 1 deletion...ellerInduktion/Eingabeverwaltung/Parser/Proof_Listener.cs
- BewerterStrukturellerInduktion/Eingabeverwaltung/Parser/TransformationStep_Listener.cs 14 additions, 18 deletions...n/Eingabeverwaltung/Parser/TransformationStep_Listener.cs
- BewerterStrukturellerInduktion/Testverwaltung/ExtraTest.cs 16 additions, 1 deletionBewerterStrukturellerInduktion/Testverwaltung/ExtraTest.cs
- BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/0riginal.proof 1 addition, 1 deletion...g/netcoreapp5.0/Tests/extra/NonDeadSemErrs/0riginal.proof
- BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/axiom.proof 1 addition, 1 deletion...ebug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/axiom.proof
- BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/direction.proof 1 addition, 1 deletion.../netcoreapp5.0/Tests/extra/NonDeadSemErrs/direction.proof
- BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/indvar2.proof 1 addition, 1 deletion...ug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/indvar2.proof
- BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/resulttree.proof 0 additions, 46 deletions...netcoreapp5.0/Tests/extra/NonDeadSemErrs/resulttree.proof
- BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/starttree.proof 0 additions, 45 deletions.../netcoreapp5.0/Tests/extra/NonDeadSemErrs/starttree.proof
- BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/substitution1.proof 0 additions, 46 deletions...coreapp5.0/Tests/extra/NonDeadSemErrs/substitution1.proof
- BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/substitution2.proof 0 additions, 46 deletions...coreapp5.0/Tests/extra/NonDeadSemErrs/substitution2.proof
- BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/termpart.proof 0 additions, 46 deletions...g/netcoreapp5.0/Tests/extra/NonDeadSemErrs/termpart.proof
- BewerterStrukturellerInduktion/bin/Debug/netcoreapp5.0/Tests/extra/NonDeadSemErrs/transformation.proof 0 additions, 39 deletions...oreapp5.0/Tests/extra/NonDeadSemErrs/transformation.proof
Loading
Please register or sign in to comment