forked from helderasmoreira/scientific-paper-indexer
/
vdmtest.bat
31 lines (24 loc) · 902 Bytes
/
vdmtest.bat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
@echo off
rem Tests the date book specification for one test case (argument)
rem -- Output the argument to stdout (for redirect) and "con" (for user feedback)
echo VDM Test: '%1' > con
echo VDM Test: '%1'
rem short names for specification files in Word RTF Format
set S1=Author.rtf
set S2=Interest.rtf
set S3=Affiliation.rtf
set S4=Date.rtf
set S5=Indexer.rtf
set S6=Reference.rtf
set S7=Publication.rtf
set S8=TestAuthor.rtf
set S9=TestIndexer.rtf
set S10=TestAffiliation.rtf
set S11=TestInterest.rtf
set S12=TestDate.rtf
set S13=TestPublication.rtf
rem -- Calls the interpreter for this test case
"C:\Program Files (x86)\The VDM++ Toolbox Academic v8.0\bin\vppde.exe" -i -D -I -P -Q -R vdm.tc -O %1.res %1 %S1% %S2% %S3% %S4% %S5% %S6% %S7% %S8% %S9% %S10% %S11% %S12% %S13%
rem -- Check for difference between result of execution and expected result.
if EXIST %1.exp fc /w %1.res %1.exp
:end