From 82197955991947fe0872712460bb988b6c2d0ef9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Mon, 14 Feb 2022 17:18:38 +0100
Subject: add rest of lab3

---
 lab3/sanitycheck | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100755 lab3/sanitycheck

(limited to 'lab3/sanitycheck')

diff --git a/lab3/sanitycheck b/lab3/sanitycheck
new file mode 100755
index 0000000..acdcc99
--- /dev/null
+++ b/lab3/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
+
+
-- 
cgit v1.2.1