Skip to content

Commit

Permalink
made S3 larger
Browse files Browse the repository at this point in the history
  • Loading branch information
MasWag committed Sep 20, 2019
1 parent f594c16 commit b1758a7
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 2 deletions.
2 changes: 1 addition & 1 deletion example/AT_S3.omap.tsv
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
53 57 inf
50 53 57 60 inf
inf
inf
9 changes: 8 additions & 1 deletion example/AT_S3.stl
Original file line number Diff line number Diff line change
@@ -1 +1,8 @@
<>_[10,30](signal(0) < 53 || signal(0) > 57)
<>_[10,30](signal(0) < 53 || signal(0) > 57)
<>_[15,30](signal(0) < 53 || signal(0) > 57)
<>_[10,30](signal(0) < 50 || signal(0) > 60)
<>_[15,30](signal(0) < 50 || signal(0) > 60)
<>_[5,25](signal(0) < 53 || signal(0) > 57)
<>_[5,20](signal(0) < 53 || signal(0) > 57)
<>_[5,25](signal(0) < 50 || signal(0) > 60)
<>_[5,20](signal(0) < 50 || signal(0) > 60)

0 comments on commit b1758a7

Please sign in to comment.