BouweCeunen

Keybase proof

I hereby claim:

• I am bouweceunen on github.
• I am bouweceunen (https://keybase.io/bouweceunen) on keybase.
• I have a public key ASB-ZvMdfllAQJhvZ8R-3Qguz-2yHOxw-LgHjGQhuxLB7Ao

To claim this, I am signing this object:

BouweCeunen

context C1
sets
    COLOURS
constants
    red
    orange
    green
axioms
    @colours_type
        partition(COLOURS, {red}, {orange}, {green})

BouweCeunen

machine M0
variables
    cars_go
    pedestrians_go
invariants
    @inv1
        cars_go ∈ BOOL
    @inv2
        pedestrians_go ∈ BOOL
    @inv3

BouweCeunen

machine M1
    refines M0
    sees C1
variables
    pedestrians_colour
    cars_colours
invariants
    @inv4
        pedestrians_colour ∈ COLOURS ∖ {orange}
    @inv5

BouweCeunen

tests:
  - test_driver/app.dart

staging: /tmp/screenshots

locales:
  - en-US

devices:
  ios:

BouweCeunen

import 'dart:async';

import 'package:flutter/material.dart';
import 'package:<package>/Auth.dart';
import 'package:sentry/sentry.dart';

final SentryClient _sentry = SentryClient(dsn: "...");

void main() {
  Future<void> _reportError(dynamic error, dynamic stackTrace) async {

BouweCeunen

// Copyright 2018 The Flutter team. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

import 'package:flutter/material.dart';

void main() => runApp(MyApp());

class MyApp extends StatelessWidget {
  @override

BouweCeunen

Future<String> _calculation = Future<String>.delayed(
  Duration(seconds: 2),
  () => 'Data Loaded',
);

Widget build(BuildContext context) {
  return Container(
    child: FutureBuilder<String>(
        future: _calculation,
        builder: (BuildContext context, AsyncSnapshot<String> snapshot) {

BouweCeunen

StreamController<String> _accountController = new StreamController();

@override
void initState() {
  super.initState();
  Future<void>.delayed(
    Duration(seconds: 2),
    () => _accountController.add('Data Loaded'),
  );
}

BouweCeunen

import 'package:flutter_driver/driver_extension.dart';
import 'package:<package>/main.dart' as app;

void main() {
  // This line enables the extension.
  enableFlutterDriverExtension();

  // Call the `main()` function of the app, or call `runApp` with
  // any widget you are interested in testing.
  app.main();