Skip to content

Commit d3208d9

Browse files
committed
[submission] colibri2 draft system description
1 parent 6b670cd commit d3208d9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

submissions/colibri2.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
"url": "https://git.frama-c.com/pub/colibrics/-/jobs/1405515/artifacts/raw/colibri2_starexec_3037762e.tar.gz"
1111
},
1212
"website": "http://colibri.frama-c.com/",
13-
"system_description": "http://example.com/system.pdf",
13+
"system_description": "https://drive.google.com/uc?export=download&id=14ZT6msIH9JcleUv6P4ha3Rdpc7mhpGL9",
1414
"command": ["bin/colibri2"],
1515
"solver_type": "Standalone",
1616
"seed": "42",

0 commit comments

Comments
 (0)