Register modifier when parsing JML spec #3040
Fixes #1722. Previously, the modifier was read after construction of TextualJMLSpecCase.
Artifacts
- 09. Mar 2023 15:50 (3382.69 kB large)
- 08. Mar 2023 15:08 (3378.36 kB large)
- 08. Mar 2023 11:42 (3378.94 kB large)
- 06. Mar 2023 20:21 (3378.00 kB large)
- 22. Feb 2023 16:14 (3409.18 kB large)
- 22. Feb 2023 16:04 (3408.59 kB large)