Dliteofficial

//SPDX-License-Identifier: UNLICENSED
pragma solidity 0.8.20;

import "forge-std/Test.sol";
import {Portal} from "contracts/Portal.sol";
import {MintBurnToken} from "contracts/MintBurnToken.sol";
import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";

contract PortalTest is Test {

Dliteofficial

//SPDX-License-Identifier: LICENSED
pragma solidity 0.8.19;

import "forge-std/Test.sol";
import {Morpho, MarketParams} from "src/Morpho.sol";
import "src/libraries/MarketParamsLib.sol";
import {IMorpho, Position} from "src/interfaces/IMorpho.sol";
import {ERC20Mock} from "src/mocks/ERC20Mock.sol";
import {OracleMock} from "src/mocks/OracleMock.sol";
import {IERC20} from "src/mocks/interfaces/IERC20.sol";

Dliteofficial

//SPDX-License-Identifier: LICENSED
pragma solidity 0.8.19;

import "forge-std/Test.sol";
import {Morpho, MarketParams} from "src/Morpho.sol";
import "src/libraries/MarketParamsLib.sol";
import {IMorpho, Position} from "src/interfaces/IMorpho.sol";
import {ERC20Mock} from "src/mocks/ERC20Mock.sol";
import {OracleMock} from "src/mocks/OracleMock.sol";
import {IERC20} from "src/mocks/interfaces/IERC20.sol";

Dliteofficial

//SPDX-License-Identifier: LICENSED
pragma solidity 0.8.19;

import "forge-std/Test.sol";
import {Morpho, MarketParams} from "src/Morpho.sol";
import "src/libraries/MarketParamsLib.sol";
import {IMorpho, Position} from "src/interfaces/IMorpho.sol";
import {ERC20Mock} from "src/mocks/ERC20Mock.sol";
import {OracleMock} from "src/mocks/OracleMock.sol";
import {IERC20} from "src/mocks/interfaces/IERC20.sol";

Dliteofficial

{
    "<stdin>:arrayContract": {
        "ast": {
            "absolutePath": "<stdin>",
            "exportedSymbols": {"arrayContract": [79]},
            "id": 80,
            "license": "UNLICENSED",
            "nodeType": "SourceUnit",
            "nodes": [
                {

Dliteofficial

{
    "<stdin>:arrayContract": {
        "ast": {
            "absolutePath": "<stdin>",
            "exportedSymbols": {"arrayContract": [79]},
            "id": 80,
            "license": "UNLICENSED",
            "nodeType": "SourceUnit",
            "nodes": [
                {