File: conditionSideEffectInStrategyLanguageDecember2023.maude

package info (click to toggle)
maude 3.5.1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,480 kB
  • sloc: cpp: 133,192; makefile: 2,180; yacc: 1,984; sh: 1,373; lex: 886
file content (18 lines) | stat: -rw-r--r-- 478 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
set show timing off .
set show advisories off .

***
***	Test for bug found by Paco where the condition evaluation set unrewritable/unstackable flags
***	that were respect when rewriting with ab, even though it allows rewriting with nonexec rules.
***

mod NONEXEC is
  sorts Foo Bar .
  ops a b : -> Foo [ctor] .
  op <_> : Foo -> Bar [ctor] .
  vars F G : Foo .
  crl < F > => < G > if F => G /\ F =/= G .
  rl [ab] : a => b [nonexec] .
endm

srew < a > using try(all) ; ab .