| summaryrefslogtreecommitdiff |
path: root/99_general.txt
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 13:28:23 +0200 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 13:28:23 +0200 |
| commit | de2a0107a5a7a08a5470e54ed2ed792eebfe87ba (patch) | |
| tree | 30963d3eebb7802a865a1b2d8038502c0a521c11 /99_general.txt | |
| parent | bba41321ac671463cd1c778cb88d87647e4ca906 (diff) | |
Just did a quick test with IDP. It worked.
Diffstat (limited to '99_general.txt')
| -rw-r--r-- | 99_general.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/99_general.txt b/99_general.txt new file mode 100644 index 0000000..9dee3df --- /dev/null +++ b/99_general.txt @@ -0,0 +1,4 @@ +procedure main(){ + printmodels(allmodels(T,S,Vout)) +} + |