PROBCORE-557 Improved output for integration tests.
PROBCORE-557 Implemented and tested the activation of Unit plugin
PROBCORE-557 Updated predicates dealing with state space reduction.
PROBCORE-557 Reverted predicates back to original syntax. We want to keep some of the predicates the same for ProB Plugin and ProB 2.0. The unit plugin kram is one of those cases.
PROBCORE-557 Removed unnecessary prefix for commands.
PROBCORE-557 Refactored finding trace through state space. Now uses predicate find_trace_to_node. Wrote Integration test.
Ensure that cli is cleaned up after executing test. Wrote testStub as a guide for future integration tests.
PROBCORE-557 Updated CBC command and wrote integration test.
Fixed GetOfFromId command so that it functions correctly in debug mode
PROBCORE-557 Migrated boolean properties to prob2_interface and created integration test
PROBCORE-557 Created integration test for ConstraintBasedChecking and minor modifications for new prolog side
PROBCORE-557 Migrated finding a valid state for a predicate and wrote an integration test for it.
PROBCORE-557 Migrated CSP Assertions
PROBCORE-557 Eval store integration test.
PROBCORE-557 Updated EvalstoreEvalCommand integration test
Added total time to integration tests.
PROBCORE-557 Migrating Evaluation commands (and a bit of refactoring in there too)
Updated output for running integration tests.
PROBCORE-557 Refactoring finding Trace through StateSpace PROBCORE-564
PROBCORE-557 Refactoring evaluation mechanism