forked from rivalitaet/ewbs
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.visualaspproject
30 lines (29 loc) · 2.31 KB
/
.visualaspproject
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
<?xml version="1.0" encoding="UTF-8"?>
<visualaspproject version="2">
<visualaspdlvfile URI="/container/container_check.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/container/container_guess.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/container/container_test1.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/container/container_test2.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/container/container_test3.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/container/container_test4.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/container/container_test5.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/container/container_test6.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/fun.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/adder.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/adder_test6.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/adder_test1.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/adder_test2.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/adder_test3.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/adder_test4.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/adder_test5.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/adder_test7.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/adder_test8.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/adder_test_system.dl" ENABLED="true" TYPE="dlvFile" LAZY="false" EXCLUDE_FEATURES="Arithmetic Expressions.%%Existential Terms.%%Warnings Detection." />
<visualaspdlvfile URI="/adder/cbd_cstr.dl" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/cbd_fault.obs" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder_test1.obs" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/cbd.hyp" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/cbd_fault_x1_ok.obs" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/cbd_fault_o1_ab.obs" ENABLED="true" TYPE="dlvFile" />
<visualaspdlvfile URI="/adder/cbd_fault_x1x2_ab.obs" ENABLED="true" TYPE="dlvFile" />
</visualaspproject>