name = "simple-demo";
Properties {
invariant-2 : Armani-InvariantT = "invariant forall f : Filter in self.components | size(f.ports) >=2;";
};
name = "Capitalize";
Properties {
prop : Armani-InvariantT = "invariant forall p : port in self.ports | declaresType (p, ReadPort) OR declaresType (p, WritePort);";
};
name = "stdin";
Properties {
inputType : string = "char";
};
name = "stdout";
name = "Aggregate-rep";
name = "LowerCase";
Properties {
prop : Armani-InvariantT = "invariant forall p : port in self.ports | declaresType (p, ReadPort) OR declaresType (p, WritePort);";
};
name = "out";
name = "inport";
Properties {
inputType : string = "char";
};
name = "Merge";
Properties {
prop : Armani-InvariantT = "invariant forall p : port in self.ports | declaresType (p, ReadPort) OR declaresType (p, WritePort);";
};
name = "left";
Properties {
inputType : string = "char";
};
name = "right";
Properties {
inputType : string = "char";
};
name = "stdout";
name = "Split";
Properties {
prop : Armani-InvariantT = "invariant forall p : port in self.ports | declaresType (p, ReadPort) OR declaresType (p, WritePort);";
};
name = "left";
name = "right";
name = "stdin";
Properties {
inputType : string = "char";
};
name = "UpperCase";
Properties {
prop : Armani-InvariantT = "invariant forall p : port in self.ports | declaresType (p, ReadPort) OR declaresType (p, WritePort);";
binary : BinaryFile = "tr";
sConfig : string = "a-z A-Z";
};
name = "stderr";
name = "stdin";
Properties {
inputType : string = "char";
};
name = "stdout";
name = "Pipe26";
name = "sink";
name = "source";
Properties {
outputType : string = "char";
};
name = "Pipe27";
name = "sink";
name = "source";
Properties {
outputType : string = "char";
};
name = "Pipe28";
name = "sink";
name = "source";
Properties {
outputType : string = "char";
};
name = "Pipe29";
name = "sink";
name = "source";
Properties {
outputType : string = "char";
};
name = "Compress";
Properties {
prop : Armani-InvariantT = "invariant forall p : port in self.ports | declaresType (p, ReadPort) OR declaresType (p, WritePort);";
prop1 : Armani-InvariantT = "invariant 6==7;";
};
name = "stdout";
name = "stdin";
Properties {
inputType : string = "char";
};
name = "Package";
Properties {
prop : Armani-InvariantT = "invariant forall p : port in self.ports | declaresType (p, ReadPort) OR declaresType (p, WritePort);";
};
name = "out";
name = "inport";
Properties {
inputType : string = "char";
};
name = "Pipe10";
name = "sink";
name = "source";
Properties {
outputType : string = "char";
};
name = "Pipe15";
name = "sink";
name = "source";
Properties {
outputType : string = "char";
};