search

colomoto / colomoto-docker

The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks
https://colomoto.github.io/colomoto-docker/
25 stars 12 forks source link

Fix SnakeMake case study #26

Closed pauleve closed 6 years ago

pauleve commented 6 years ago

The current SnakeMake case study is wrong, especially the file https://github.com/colomoto/colomoto-docker/blob/master/usecases/snakemake/Models/2016_CellCycle_Traynard/Traynard_MultiLevel_MamCC_Apr2016_property.smv which cannot be append as is to the NuSMV model.

Lines 

INIT xxxx ; SPEC yyy

should be replaced with

SPEC xxxx -> yyyy
chernan commented 6 years ago

@aurelien-naldi did you know about this ? All the properties files I've seen so far, made by either Wassim or Pauline, used the INIT xxxx ; SPEC yyy format.

chernan commented 6 years ago

Properties file was modified according to suggestion. Please double check, in case I forgot something.