2 anni fa · 7af31712ef
--- a/README.md
+++ b/README.md
--- a/checkers/acmp.cpp
+++ b/checkers/acmp.cpp
--- a/checkers/caseicmp.cpp
+++ b/checkers/caseicmp.cpp
--- a/checkers/casencmp.cpp
+++ b/checkers/casencmp.cpp
--- a/checkers/casewcmp.cpp
+++ b/checkers/casewcmp.cpp
--- a/checkers/dcmp.cpp
+++ b/checkers/dcmp.cpp
--- a/checkers/fcmp.cpp
+++ b/checkers/fcmp.cpp
--- a/checkers/hcmp.cpp
+++ b/checkers/hcmp.cpp
--- a/checkers/icmp.cpp
+++ b/checkers/icmp.cpp
--- a/checkers/lcmp.cpp
+++ b/checkers/lcmp.cpp
--- a/checkers/ncmp.cpp
+++ b/checkers/ncmp.cpp
--- a/checkers/nyesno.cpp
+++ b/checkers/nyesno.cpp
--- a/checkers/pointscmp.cpp
+++ b/checkers/pointscmp.cpp
--- a/checkers/pointsinfo.cpp
+++ b/checkers/pointsinfo.cpp
--- a/checkers/rcmp.cpp
+++ b/checkers/rcmp.cpp
--- a/checkers/rcmp4.cpp
+++ b/checkers/rcmp4.cpp
--- a/checkers/rcmp6.cpp
+++ b/checkers/rcmp6.cpp
--- a/checkers/rcmp9.cpp
+++ b/checkers/rcmp9.cpp
--- a/checkers/rncmp.cpp
+++ b/checkers/rncmp.cpp
--- a/checkers/uncmp.cpp
+++ b/checkers/uncmp.cpp
--- a/checkers/wcmp.cpp
+++ b/checkers/wcmp.cpp
--- a/checkers/yesno.cpp
+++ b/checkers/yesno.cpp
--- a/generators/bgen.cpp
+++ b/generators/bgen.cpp
--- a/generators/gen-bipartite-graph.cpp
+++ b/generators/gen-bipartite-graph.cpp
--- a/generators/gen-rooted-tree-graph.cpp
+++ b/generators/gen-rooted-tree-graph.cpp
--- a/generators/gen-tree-graph.cpp
+++ b/generators/gen-tree-graph.cpp
--- a/generators/gs.cpp
+++ b/generators/gs.cpp
--- a/generators/igen.cpp
+++ b/generators/igen.cpp
--- a/generators/iwgen.cpp
+++ b/generators/iwgen.cpp
--- a/generators/multigen.cpp
+++ b/generators/multigen.cpp
--- a/generators/sgen.cpp
+++ b/generators/sgen.cpp
--- a/generators/swgen.cpp
+++ b/generators/swgen.cpp
--- a/interactors/interactor-a-plus-b.cpp
+++ b/interactors/interactor-a-plus-b.cpp
--- a/tests/test-001_run-sval/src/sval.cpp
+++ b/tests/test-001_run-sval/src/sval.cpp
--- a/validators/bipartite-graph-validator.cpp
+++ b/validators/bipartite-graph-validator.cpp
--- a/validators/case-nval.cpp
+++ b/validators/case-nval.cpp
--- a/validators/ival.cpp
+++ b/validators/ival.cpp
--- a/validators/nval.cpp
+++ b/validators/nval.cpp
--- a/validators/sval.cpp
+++ b/validators/sval.cpp
--- a/validators/undirected-graph-validator.cpp
+++ b/validators/undirected-graph-validator.cpp
--- a/validators/undirected-tree-validator.cpp
+++ b/validators/undirected-tree-validator.cpp
--- a/validators/validate-using-testset-and-group.cpp
+++ b/validators/validate-using-testset-and-group.cpp