Actions
Task #6068
closedDescription of complex situations
Status:
Rejected
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
Template Processor
Target version:
Start date:
06/19/2015
Due date:
06/26/2015
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
Syntax:
S ::= situation({:symbol => string, }* string {, :symbol => value} {, S}*)
Examples:
situation('overflow')- a simple situation.situation('overflow', :size => 32)- a parameterized situation (sizeis a parameter of the situation).situation(:x => 'rs', :y => 'rt', 'overflow')- a situation with bindings (xandyare constrained variables of the situation).situation(:x => 'rs', :y => 'rt', 'overflow', :size => 32)- a parameterized situation with bindings.situation('overflow', situation('possitive'))- a composite situation (overflow && possitive).situation('mem.write', situation(:address => addr, 'user.segment'))- a composite situation with inner bindings.
Updated by Alexander Kamkin almost 5 years ago
- Status changed from New to Rejected
Actions