diff options
| author | Gustav Sörnäs <gusso230@student.liu.se> | 2022-02-18 08:45:06 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gusso230@student.liu.se> | 2022-02-18 08:45:06 +0100 |
| commit | 8f4a9aa1330cf7af7ad6db3ee4681c76925c258d (patch) | |
| tree | ed2864d0c1ff7c6894c15ec20720e482fbd25fbb /lab4/sanitycheck | |
| parent | e2cb9471bea69f76bc3a17b117f4a8d634355fc3 (diff) | |
| download | tsea83-8f4a9aa1330cf7af7ad6db3ee4681c76925c258d.tar.gz | |
lab4 initial
Diffstat (limited to 'lab4/sanitycheck')
| -rw-r--r-- | lab4/sanitycheck | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/lab4/sanitycheck b/lab4/sanitycheck new file mode 100644 index 0000000..acdcc99 --- /dev/null +++ b/lab4/sanitycheck @@ -0,0 +1,21 @@ +#!/bin/bash + +if sed 's/--.*//' < "$1" | grep -n \'event +then + echo "ERROR in $1: Du använder nyckelordet 'event. Om du vill kolla efter en klockflank bör rising_edge användas istället. Om du vill använda 'event till något annat i syntetiserbar kod bör du antagligen tänka om." + exit 1 +fi + +if sed 's/--.*//' < "$1" | egrep -n 'rising_edge *\(.*\)' | egrep -v 'rising_edge *\( *clk *\)' +then + echo "ERROR in $1: Du försöker klocka på något som antagligen inte är en riktigt klocka. Du bör enbart använda rising_edge(clk) i din syntetiserbara kod." + exit 1 +fi + +if sed 's/--.*//' < "$1" | egrep -n 'falling_edge' +then + echo "ERROR in $1: Du använder nyckelordet falling_edge i filen $1. I den här kursen bör du inte behöva använda det nyckelordet." + exit 1 +fi + + |