Commit 8529c58d authored by Sebastian Voss's avatar Sebastian Voss
Browse files

yellow (lambda expressions)

refs 724
parent e66f6d1c
......@@ -55,7 +55,7 @@ import org.fortiss.af3.tools.yices.model.types.YicesTypeBase;
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 1270 $
* @ConQAT.Rating GREEN Hash: 7EA2A1F5CDDA99893EBB22E1C7C8C748
* @ConQAT.Rating YELLOW Hash: 44D9FE414A3FDC8EB69D6F10E88CE851
*/
public class YicesModelFactory {
......
......@@ -35,7 +35,7 @@ import org.fortiss.af3.tools.yices.textgen.YicesTextGenerator;
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 1270 $
* @ConQAT.Rating GREEN Hash: 01426FE625912381653E37848E11FA2E
* @ConQAT.Rating YELLOW Hash: CA0C8FD149CF6DA4CBA876E61FA1F7A6
*/
public class YicesRunner extends ToolRunnerBase<YicesFile, YicesResult> {
......
......@@ -64,7 +64,7 @@ import org.fortiss.af3.tools.yices.model.types.YicesTypeBase;
* @author ratiu
* @author $Author: hoelzl $
* @version $Rev: 18709 $
* @ConQAT.Rating GREEN Hash: 9D7DC903BB6C81F10AA22A9F23DF1C8E
* @ConQAT.Rating YELLOW Hash: 104D7BEE0FC50C94352717B9B1A571AD
*/
public class YicesTextGenerator implements ITextGenerator<YicesFile> {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment