Search results

Unittests keep failing.

bugSomething isn't workingSomething isn't working

package:difficultyde.unidue.ltl.ctest.difficultyde.unidue.ltl.ctest.difficulty

Status: Open.

#9 In catalpa-cl/c-test-tools;

· simulacrum6 opened on May 4, 2022

Safeguard all features against TC dummy runs

optional

package:difficultyde.unidue.ltl.ctest.difficultyde.unidue.ltl.ctest.difficulty

Status: Open.

#7 In catalpa-cl/c-test-tools;

· simulacrum6 opened on Apr 1, 2019

Add Model Version to serialized CTestObjects

package:corede.unidue.ltl.ctest.corede.unidue.ltl.ctest.core

package:iode.unidue.ltl.ctest.iode.unidue.ltl.ctest.io

Status: Open.

#6 In catalpa-cl/c-test-tools;

· simulacrum6 opened on Mar 19, 2019

Add CTest Format Identifier / Universal Reader

optional

package:iode.unidue.ltl.ctest.iode.unidue.ltl.ctest.io

Status: Open.

#5 In catalpa-cl/c-test-tools;

· simulacrum6 opened on Mar 19, 2019

Harmonize Interface of ModelTrainer with rest of package

enhancementNew feature or requestNew feature or request

optional

package:difficultyde.unidue.ltl.ctest.difficultyde.unidue.ltl.ctest.difficulty

Status: Open.

#4 In catalpa-cl/c-test-tools;

· simulacrum6 opened on Mar 19, 2019

"TOO MANY SENTENCES" Warning generated even when number of sentences is smaller than sentence limit.

bugSomething isn't workingSomething isn't working

Status: Open.

#3 In catalpa-cl/c-test-tools;

· simulacrum6 opened on Oct 12, 2018