diff options
| author |  20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-05-27 16:41:23 -0400 |
|---|---|---|
| committer | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2019-05-27 16:41:23 -0400 |
| commit | 18767ac9962932a496833c5971d3157e468c172e (patch) | |
| tree | 3b257ef4f83c77be1c3f6158d266ad59af35d3f5 /Framework | |
| parent | modify generation to log metrics measurements (diff) | |
| download | VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.tar.gz VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.tar.zst VIATRA-Generator-18767ac9962932a496833c5971d3157e468c172e.zip | |
fix the null pointer error when trying reproducing the generation procedure
Diffstat (limited to 'Framework')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend index 650fa02c..b4d9a8fa 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicSolver.xtend | |||
| @@ -65,10 +65,7 @@ public enum DocumentationLevel { | |||
| 65 | /** | 65 | /** |
| 66 | * The solver writes only temporary files. | 66 | * The solver writes only temporary files. |
| 67 | */ | 67 | */ |
| 68 | NONE, | 68 | NONE, |
| 69 | |||
| 70 | METRICS, | ||
| 71 | |||
| 72 | /** | 69 | /** |
| 73 | * The solver is requested to write important artifacts and documents that are constructed during the generation. | 70 | * The solver is requested to write important artifacts and documents that are constructed during the generation. |
| 74 | * This option should not affect the performance of the solver seriously. | 71 | * This option should not affect the performance of the solver seriously. |