← Back to branch summary

~verifypn-maintainers/verifypn/u3.0

« back to all changes in this revision

Viewing changes to Scripts/MCC19/consistency-scripts/check-consistency.sh

  • Committer: Jiri Srba
  • Date: 2019-03-28 14:11:10 UTC
  • mfrom: (205.4.6 verifypn)
  • Revision ID: srba.jiri@gmail.com-20190328141110-9ja1heah7lvjtpas
merged in branch lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an issue with trace generation 
when reduction rule H is applied

Show diffs side-by-side

added added

removed removed

Lines of Context:
Scripts/MCC19/consistency-scripts/check-consistency.sh
 
1
cat $1 $2 | grep "FORMULA " | grep -v CANNOT | awk '{print $2 " " $3}' | sort | uniq | awk '{print $1}' | uniq -c | grep " 2" 
 
2
 
 
3