Merge pull request #9 from xtuml/master

Merge upstream into fork
xtuml · Aug 16, 2017 · adf3c1b · adf3c1b
2 parents 3676132 + 082fb07
commit adf3c1b
Show file tree

Hide file tree

Showing 45 changed files with 89,017 additions and 0 deletions.
diff --git a/integrity/.gitignore b/integrity/.gitignore
@@ -0,0 +1 @@
+integrity_report.txt
diff --git a/integrity/README.md b/integrity/README.md
@@ -0,0 +1,16 @@
+`run_integrity_tests.sh`
+========================
+
+Clean Model Data for Integrity Testing
+
+`run_integrity_tests.sh < integrity_tests` is a script that runs the
+integrity checker on models specified in the `integrity_tests` file.
+A single expected output file (`expected_results.txt`) is compared to
+the single output file (`integrity_report.txt`) and differences reported.
+
+`integrity_tests` is the input file listing the models to interrogate.
+
+`expected_results.txt` is the expected output from the integrity checks.
+
+`integrity_report.txt` is the default produced output file.  It is included
+in a .gitignore file to prevent it from being committed to the repository.
diff --git a/integrity/corrupt_model_data/.gitignore b/integrity/corrupt_model_data/.gitignore
@@ -0,0 +1 @@
+*.actual
diff --git a/integrity/corrupt_model_data/ExtraSubtype.expected b/integrity/corrupt_model_data/ExtraSubtype.expected
@@ -0,0 +1,4 @@
+same subtype not found across S_CDT->S_DT[R17]->S_CDT[R17]:  DT_ID 149 
+instances checked:  872
+checks made:  4394
+errors found:  1