public void TestMethod1()
{
File.WriteAllText(
"test.html",
"<!DOCTYPE html>\n<html><head><meta charset=\"UTF-8\" /><link rel=\"stylesheet\" type=\"text/css\" href=\"../../../WebApplication/style.css\" /></head><body>"
+ HTMLMaker.MakeHTML(Parser.Parse(new string[] { "~(P&Q&<>~(P|Q)&<>(P&~Q)&<>x,Gx&<>~x,Gx)" }).FindCounterexample())
+ "</body></html>");
System.Diagnostics.Process.Start("test.html");
}
public void SaveButton()
{
string survey_name = "Отчет_опросника";
string html_as_string = HTMLMaker.MakeHTMLPage_FromSurvey(ref saved_results);
SaveSystem.SaveHTML_IOS_Android(html_as_string, survey_name);
// #if UNITY_ANDROID || UNITY_IOS
// SaveSystem.SaveHTML_IOS_Android(html_as_string, survey_name);
// #else
// SaveSystem.SaveHTML_Survey(html_as_string, survey_name);
// #endif
// UI_Manager.ShowMessage("Отчет сохранен!");
}