We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
v1 = FM (A : [B] [C] ; ) v2 = FM (A : [B] [E] ; B : C ; ) v3 = FM (A : B [F] ; )
// with explicity negated variables fm1 = FM (A : [B] [C] [E] [F] ; !E ; !F ; ) fm2 = FM (A : [B] [E] [F] ; B : C ; !F ; ) fm3 = FM (A : B [F] [E] [C] ; !E ; !C ; )
fm1bis = slice fm1 including fm1.* cmp1 = compare v1 fm1bis assert (cmp1 eq REFACTORING) cmp1bis = compare fm1bis fm1 // FIXME assert (cmp1bis eq REFACTORING)
The text was updated successfully, but these errors were encountered:
FAMILIAR-project
No branches or pull requests
v1 = FM (A : [B] [C] ; )
v2 = FM (A : [B] [E] ; B : C ; )
v3 = FM (A : B [F] ; )
// with explicity negated variables
fm1 = FM (A : [B] [C] [E] [F] ; !E ; !F ; )
fm2 = FM (A : [B] [E] [F] ; B : C ; !F ; )
fm3 = FM (A : B [F] [E] [C] ; !E ; !C ; )
fm1bis = slice fm1 including fm1.*
cmp1 = compare v1 fm1bis
assert (cmp1 eq REFACTORING)
cmp1bis = compare fm1bis fm1
// FIXME
assert (cmp1bis eq REFACTORING)
The text was updated successfully, but these errors were encountered: