You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: d8b3b72cb9

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'd8b3b72cb9'

${ noResults }

prism-accumulation/prism-tests/functionality

History

Joachim Klein d8b3b72cb9 PrismSettings: resave to the same file used for loading When PrismSettings loads a settings file from a previous version, in loadSettingsFile(File) it resaves the file to add the settings of the current version. Previously, for resave it would write to the default location, no matter if the settings file location passed to loadSettingsFile pointed to another file (e.g., due to loading the settings on the command-line PRISM with -settings ...). Now, we resave to the same file as that used for loading.		9 years ago
..
export	Move prism-tests into this repository and update Makefile "tests" target.	9 years ago
import	Move prism-tests into this repository and update Makefile "tests" target.	9 years ago
language	Move prism-tests into this repository and update Makefile "tests" target.	9 years ago
verify	PrismSettings: resave to the same file used for loading	9 years ago