2017-07-10 22:01:21 +02:00
|
|
|
package main
|
|
|
|
|
2017-07-11 19:54:20 +02:00
|
|
|
import "github.com/SRI-CSL/gllvm/shared"
|
2017-07-11 19:52:05 +02:00
|
|
|
|
2017-07-10 22:01:21 +02:00
|
|
|
func main() {
|
|
|
|
|
2017-07-11 19:52:05 +02:00
|
|
|
shared.SanityCheck()
|
2017-07-10 22:01:21 +02:00
|
|
|
|
|
|
|
}
|