import * as assert from 'assert';
import { suite } from 'mocha';
import * as vscode from 'vscode';
import { initLean4Untitled, assertStringInInfoview, findWord } from '../utils/helpers';
suite('InfoView Test Suite', () => {
test('Copy to Comment', async () => {
console.log('=================== Copy to Comment ===================');
const lean = await initLean4Untitled('#eval 47*22');
const info = lean.exports.infoProvider;
assert(info, 'No InfoProvider export');
await assertStringInInfoview(info, '1034');
console.log('Clicking copyToComment button in InfoView');
await info.runTestScript('document.querySelector(\'[data-id*="copy-to-comment"]\').click()');
console.log("Checking editor contains '1034'")
const editor = vscode.window.activeTextEditor;
assert(editor !== undefined, 'no active editor');
await findWord(editor, '1034');
}).timeout(60000);
}).timeout(60000);
