Develop/add unit tests (#8)

* fixing pipeline, linux only

* added first version of vcg

* Intermediate (#3)

very first working version

* aligning code to the TR

* Wip (#4)

* wip

* aligning to TR

* improved readability and counting each alternating seq only once

* updated doc

* wip

* enabled the possibility to do the extrapolation by hand

* some renaming

* wip

* added urgent and committed loc

* added automaton for non deterministic evaluation

* fix

* changed tchecker::clock_id_t to int

* deleted non existing files of master

* fixed changed function names of get_no_of_virtual_clocks in test-virtual_constraint.hh

* removed part of the code which was not present anymore in master

* cleanup

---------

Co-authored-by: Schulzen <[email protected]>

src/tck-compare/tck-compare.cc

@@ -50,7 +50,6 @@ enum relationship_t {
 };
 
 enum relationship_t relationship = STRONG_TIMED_BISIM;   /*!< Selected relationship */
-
 bool help = false;                                 /*!< Help flag */
 std::string output_file = "";                      /*!< Output file name (empty means standard output) */
 std::ostream * os = &std::cout;                    /*!< Default output stream */
@@ -62,11 +61,7 @@ std::size_t table_size = 65536;                    /*!< Size of hash tables */
  \param argc : number of arguments
  \param argv : array of arguments
  \pre argv[0] up to argv[argc-1] are valid accesses
-<<<<<<< HEAD
- \post global variables help, output_file, search_order and labels have been set
-=======
  \post global variables help, output_file, and labels have been set
->>>>>>> add_strong_timed_sim
  from argv
  */
 int parse_command_line(int argc, char * argv[])