add reminder

Signed-off-by: Andrey Rybalchenko <rybal@microsoft.com>
Merge branch 'predabst' of https://git01.codeplex.com/z3 into predabst
add small tests for predabst

Signed-off-by: Andrey Rybalchenko <rybal@microsoft.com>
Merge branch 'predabst' of https://git01.codeplex.com/z3 into predabst
use strncpy instead of strcpy_s to compile on osx
use strcpy_s on windows

Signed-off-by: Andrey Rybalchenko <rybal@microsoft.com>