submitting the VM
2 posters
Forum for the Model Checking Contest :: MCC'2017 (archives) :: Questions about the tool submission Kit
Page 1 of 1
submitting the VM
Since the deadline is approaching. Is it already known where to upload the VM?
meijuh- Posts : 3
Join date : 2017-01-09
Re: submitting the VM
If you need to upload the VM in our location, Please wait for the URL I will give you. Last year, most of the participant did put an archive of their VM in a web site and provided me with the URL. You can do so this year too.
Re: submitting the VM
By the way, I must confess that my upload space has a drawback. If the archive of your VM is larger than 4GB, it is buggy (i.e. when I retrieve the VM, it does not work).
Forum for the Model Checking Contest :: MCC'2017 (archives) :: Questions about the tool submission Kit
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum
|
|