Closed artgoldberg closed 5 years ago
Done
wc_lang
now allows Species.molecular_weight
= 0 (negative molecular weights are not allowed). This needed to happen anyway to represent things such as UV radiation (which damages DNA) which have no mass (ignoring the equivalence of mass and energy).wc_lang
and no change to wc_sim
is neeeded.Todo
These changes are needed for a proper fix: Add a command line argument: change wc_sim/wc_sim/multialgorithm/main.py Pass the argument to the simulator: wc_sim/wc_sim/multialgorithm/simulation.py Pass argument to the model check code in _prepare() Modify model checking code in: wc_lang/wc_lang/prepare.py Don’t call ‘verify_species_types’