ifhub/inform7
1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-01 06:24:58 +03:00
Code Issues Projects Releases Wiki Activity

Fix for Mantis bug 1919

Browse source
This commit is contained in:
Graham Nelson 2022-04-11 23:25:05 +01:00
parent e71bd9e0e4
commit 1181c19c9b
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
inform7/assertions-module/Chapter 3/Test Requests.w
View file

@ -106,13 +106,12 @@ more elaborate:
<test-case-circumstance-list> ::=
... | ==> { lookahead }
<test-case-circumstance-list> <test-case-circumstance> | ==> { 0, - }
<test-case-circumstance> ==> { 0, - }
<test-case-circumstance> | ==> { 0, - }
... ==> @<Issue PM_TestBadRequirements problem@>
<test-case-circumstance> ::=
in <instance-of-object> | ==> @<Add in-test requirement@>
in ... | ==> @<Issue PM_TestBadRequirements problem@>
holding/and/, <instance-of-object> | ==> @<Add holding requirement@>
holding/and/, ... | ==> @<Issue PM_TestBadRequirements problem@>
with ... ==> @<Issue PM_TestDoubleWith problem@>
@<Add script@> =