From ddcb377e8cb822eec9727910262526c586563ed5 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 30 May 2010 20:25:23 +0000 Subject: [PATCH] Permissions on .autopp files. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1918 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/phil/nofair/.autopp | 2 +- prism-examples/self-stabilisation/herman/.autopp | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/prism-examples/phil/nofair/.autopp b/prism-examples/phil/nofair/.autopp index 82a46aba..4b45073f 100755 --- a/prism-examples/phil/nofair/.autopp +++ b/prism-examples/phil/nofair/.autopp @@ -1,6 +1,6 @@ #!/bin/csh -foreach N ( 3 4 5 6 7 8 9 ) +foreach N ( 3 4 5 6 7 8 9 10 ) echo "Generating for N=$N" prismpp .phil-nofairN.nm.pp $N >! phil-nofair"$N".nm unix2dos phil-nofair"$N".nm diff --git a/prism-examples/self-stabilisation/herman/.autopp b/prism-examples/self-stabilisation/herman/.autopp index 64f52b34..06e45407 100755 --- a/prism-examples/self-stabilisation/herman/.autopp +++ b/prism-examples/self-stabilisation/herman/.autopp @@ -4,4 +4,6 @@ foreach N ( 3 5 7 9 11 13 15 17 19 21 ) echo "Generating for N=$N" prismpp .hermanN.pm.pp $N >! herman$N.pm unix2dos herman$N.pm + #prismpp .hermanNmod.pm.pp $N >! herman"$N"mod.pm + #unix2dos herman"$N"mod.pm end