MODULE test_version ;

(*
   m2SQLITE smoke test: library version number and string are sane.
*)

FROM SQLite IMPORT sqlite3_libversion_number, sqlite3_libversion;
FROM SQLiteUtils IMPORT LibVersionStr;
FROM libc IMPORT printf;

VAR vn: INTEGER; buf: ARRAY [0..63] OF CHAR;

BEGIN
   vn := sqlite3_libversion_number();
   LibVersionStr(buf);
   printf("libversion_number=%d version=%s\n", vn, buf);
   IF vn <= 0 THEN
      printf("FAIL test_version: bad version number\n");
      HALT(1)
   END;
   IF buf[0] = 0C THEN
      printf("FAIL test_version: empty version string\n");
      HALT(1)
   END;
   printf("PASS test_version\n")
END test_version.